Semantics for structured systems modelling and simulation
نویسندگان
چکیده
Simulation modelling is an important tool for exploring and reasoning about complex systems. Many supporting languages are available. Commonly occurring features of these languages are constructs capturing concepts such as process, resource, and location. We describe a mathematical framework that supports a modelling idiom based on these core concepts, and which adopts stochastic methods for representing the environments within which systems exist. We explain how this framework can be used to give a semantics to a simulation modelling language, Core Gnosis, that includes basic constructs for process, resource, and location. We include a brief discussion of a logic for reasoning about models that is compositional with respect to their structure. Our mathematical analysis of systems in terms of process, resource, location, and stochastic environment, together with a language that captures these concepts quite directly, yields an efficient and robust modelling framework within which natural mathematical reasoning about systems is captured.
منابع مشابه
A Structured Operational Modelling of the Dolev-Yao Threat Model
In the areas of computer security and cryptography a standard model for adversaries is the Dolev-Yao threat model . In the areas of formal analysis of complex, concurrent, communication and reactive systems, one of the foundations for formal analysis methodologies is a structured operational semantics (SOS) for Milner’s process algebra Calculus of Communicating Systems (CCS). In this paper we p...
متن کاملThe Difference Between Graph-Based and Block-Structured Business Process Modelling Languages
The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especia...
متن کاملDevelopment of a Robust Observer for General Form Nonlinear System: Theory, Design and Implementation
The problem of observer design for nonlinear systems has got great attention in the recent literature. The nonlinear observer has been a topic of interest in control theory. In this research, a modified robust sliding-mode observer (SMO) is designed to accurately estimate the state variables of nonlinear systems in the presence of disturbances and model uncertainties. The observer has a simple ...
متن کاملA Robust Feedforward Active Noise Control System with a Variable Step-Size FxLMS Algorithm: Designing a New Online Secondary Path Modelling Method
Several approaches have been introduced in literature for active noise control (ANC)systems. Since Filtered-x-Least Mean Square (FxLMS) algorithm appears to be the best choice as acontroller filter. Researchers tend to improve performance of ANC systems by enhancing andmodifying this algorithm. This paper proposes a new version of FxLMS algorithm. In many ANCapplications an online secondary pat...
متن کاملA Methodological Approach to Build Simulation Models of Manufacturing Systems with Distributed Control
Simulation is a powerful tool to analyse manufacturing systems for purposes of design and on-going operation. Nowadays, simulation modelling and analysis is confronted to increasing evolution of companies towards distributed process control. Thus, simulation modelling must be supported by an underlying modelling discipline, or structured approach to modelling factory operations. Our study focus...
متن کامل